This study examines gender differences in the extent and type of household activity and sense of domestic obligation across familial stages within a sample of young college-educated adults. When children are present, substantial gender differences appear in housework and perceived home obligations. Implications of the results are discussed in terms of gender socialization and preparation for parenting.

Confusion surrounds Catholic teaching on the use of assisted nutrition and hydration, specifically the question of when, if ever, its refusal or removal is ethical. This paper focuses on two often-neglected considerations: the relationship between means and mechanism, and an assessment of proportionality of the mechanism from the patient’s perspective. The authors draw on two critical principles of Catholic moral teaching: only ordinary means are required, and proportionality is subject to the perspective of the patient, not just that of experts (...) or the culture. The mechanisms that provide food and water have distinct benefits and burdens. Their proportionality is properly subject to analysis by the patient or surrogate, who determines which mechanism is acceptable in the patient’s situation. (shrink)

Rapidly advancing studies on rhodopsin have focused on new strategies for crystallization of this integral membrane protein for x-ray analysis and on alternative methods for structural determination from nuclear magnetic resonance data. Functional studies of the interactions between the apoprotein and its chromophore have clarified the role of the chromophore in deactivation of opsin and in photoactivation of the pigment.

The confounding effects of heterogeneity in biological psychiatry and psychiatric genetics have been widely discussed in the literature. We suggest an approach in which heterogeneity may be put to use in hypothesis testing, and may find application in evaluation of the Crespi & Badcock (C&B) imprinting hypothesis. Here we consider three potential sources of etiologic subtypes for analysis.

We investigate effective categoricity of computable equivalence structures . We show that is computably categorical if and only if has only finitely many finite equivalence classes, or has only finitely many infinite classes, bounded character, and at most one finite k such that there are infinitely many classes of size k. We also prove that all computably categorical structures are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. Since all computable equivalence structures are relatively categorical, (...) we further investigate when they are categorical. We also obtain results on the index sets of computable equivalence structures. (shrink)

Lockdowns, or modern quarantines, involve the use of novel restrictive non-pharmaceutical interventions (NPIs) to suppress the transmission of COVID-19. In this paper, I aim to critically analyze the emerging history and philosophy of lockdowns, with an emphasis on the communication of health evidence and risk for informing policy decisions. I draw a distinction between evidence-based and modeling-based decision-making. I argue that using the normative framework of evidence-based medicine would have recommended against the use of lockdowns. I first review the World (...) Health Organization’s evidence-based pandemic preparedness plans for respiratory viruses. I then provide a very brief history of COVID-19 modeling, which was cited as justification for the use of lockdowns in the U.K., the U.S., and much of the world. I focus on the so-called Imperial College model designed by Neil Ferguson et al. as well as the so-called Oxford model designed by José Lourenço et al. I analyze the evidence-based pandemic response known as ‘mitigation’, and I compare it with Ferguson et al.’s experimental strategy known as ‘suppression’. I summarize the strengths and weaknesses of these strategies based on their diametric aims and each model’s parametric assumptions. Based on my critical analysis of the suppression strategy, I attempt to expose what has been called the ‘logic of lockdowns’, which Sunetra Gupta of the Oxford model group has suggested is flawed. Finally, I consider Trisha Greenhalgh’s objection to evidence-based policy based on the precautionary principle, and I attempt to offer a response. I conclude with a brief narrative review of the emerging randomized evidence on restrictive NPIs, which seems to support my claim that mitigation was the strategy that would have been recommended by evidence-based medicine. If this is true, then COVID-19 modeling may serve as an important reminder of the enduring lesson of evidence-based medicine: that one should always ‘Trust the Evidence!’ for better health policy. (shrink)

In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...) This result raises the question: For which normal modal logics. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...) This result raises the question: For which normal modal logics L can one axiomatize the quantified propositional modal logic determined by the complete modal algebras for L? (shrink)

According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of two versions of the (...) RA theory. Doing so clarifies a famous debate in epistemology, pitting Fred Dretske against David Lewis, about whether the RA theorist should accept the principle that knowledge is closed under known implication, familiar as the K axiom in epistemic logic. Dretske’s case against closure under known implication leads to a study of other closure principles, while Lewis’s defense of closure by appeal to the claimed context sensitivity of knowledge attributions leads to a study of the dynamics of context. Having followed the first lead at length in other work, here I focus more on the second, especially on logical issues associated with developing a dynamic epistemic logic of context change over models for the RA theory. (shrink)

May's Theorem [K. O. May, Econometrica 20 (1952) 680-684] characterizes majority voting on two alternatives as the unique preferential voting method satisfying several simple axioms. Here we show that by adding some desirable axioms to May's axioms, we can uniquely determine how to vote on three alternatives. In particular, we add two axioms stating that the voting method should mitigate spoiler effects and avoid the so-called strong no show paradox. We prove a theorem stating that any preferential voting method satisfying (...) our enlarged set of axioms, which includes some weak homogeneity and preservation axioms, agrees with Minimax voting in all three-alternative elections, except perhaps in some improbable knife-edged elections in which ties may arise and be broken in different ways. (shrink)

The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epistemic logic in computer science and game theory has focused on multi-agent epistemic reasoning, with the single-agent 4 and 5 axioms largely taken for granted. In the relevant multi-agent scenarios, it is often important to reason about what agent A believes about (...) what agent B believes about what agent A believes; but it is rarely important to reason just about what agent A believes about what agent A believes. This raises the question of the extent to which single-agent introspection axioms actually matter for multi-agent epistemic reasoning. In this paper, we formalize and answer this question. To formalize the question, we first define a set of multi-agent formulas that we call agent-alternating formulas, including formulas like Box_a Box_b Box_a p but not formulas like Box_a Box_a p. We then prove, for the case of belief, that if one starts with multi-agent K or KD, then adding both the 4 and 5 axioms (or adding the B axiom) does not allow the derivation of any new agent-alternating formulas—in this sense, introspection axioms do not matter. By contrast, we show that such conservativity results fail for knowledge and multi-agent KT, though they hold with respect to a smaller class of agent-nonrepeating formulas. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitu- tion core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with (...) infinitely many agents, PAL-Kω , as well as standard extensions thereof, e.g., PAL-Tω , PAL-S4ω, and PAL-S5ω. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

Voigt's 1887 explanation of the Michelson-Morley result as a Doppler effect using absolute space-time is examined. It is shown that Doppler effects involve two wave velocities: (1) the phase velocity, which is used to account for the Michelson-Morley null result, and (2) the velocity of energy propagation, which, being fixed relative to absolute space, may be used to explain the results of Roemer, Bradley, Sagnac, Marinov, and the 2.7° K anisotropy.

In this article, we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modelling for classical propositional and modal logics. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and we show how to modulate this analysis by varying across logics and model classes that have independent topological motivations. This relates the two realms (...) under comparison both semantically and syntactically at the level of derivations. Moreover, our analysis clarifies the interplay between the complexity of translations and axiomatizations of the corresponding logics: adding axioms to the target bimodal logic simplifies translations, or vice versa, complex translations can simplify frame conditions. We also investigate a transfer of first-order correspondence theory between possibility semantics and its bimodal counterpart. Finally, we discuss the conceptual trade-off between giving translations and giving new semantics for logical systems, and we identify a number of further research directions to which our analysis gives rise. (shrink)

Lon Fuller, one of the great American jurists of this century, is often remembered only for his stand on the morality of law in the Fuller-Hart debate. Rediscovering Fuller considers the full range of Fuller's writings, from his early engagement with legal fictions and his critique of legal positivism to his later work on implicit law and the art of institutional design. Contributors from the fields of both civil law and common law argue that Fuller's insights are highly relevant to (...) contemporary concerns. The book contains essays by K. Winston, D. Dyzenhaus, P. Cliteur, F. Schauer ("Beyond the Fuller-Hart Debate"), P. Westerman, W. van der Burg, D. Luban ("Moralities of Law"), G. Postema, P. Teachout ("Implicit Law"), R. Macdonald, W. Witteveen, J. Allison, M. Hertogh, K. Soltan ("The Art of Institutional Design"), J. Allan, F. Mootz, J. Vining ("Law's Dialogue"), and a preface by Ph. Selznick. "At some point in the future, when we become more open to the moral relevance of social inquiry, more empirical in our study of philosophical issues, more capable of uniting moral and social theory, Lon Fuller's work will stand as a landmark. This volume will help show the way." —Ph. Selznick. (shrink)

Externalism holds that the individuation of mental content depends on factors external to the subject. This doctrine appears to undermine both the claim that there is a priori self-knowledge, and the view that individuals have privileged access to their thoughts. Tyler Burge's influential "inclusion theory of self-knowledge" purports to reconcile externalism with authoritative self-knowledge. I first consider Paul Boghossian's claim that the inclusion theory is internally inconsistent. I reject one line of response to this charge, but I endorse another. (...) I next suggest, however, that the inclusion theory has little explanatory value. (shrink)

This publication of the proceedings of the first of a new series of colloquia to be held at the University of Western Ontario contains an opening address on existence and quantification by W. V. Quine and three symposia. The paper discussed in the first of these symposia, "Descartes' Ontological Argument" by Anthony Kenny, follows closely one chapter of Kenny's recent book on Descartes. Kenny's paper contains both an interesting account of Descartes' views and some challenging remarks about ontological arguments in (...) general. His paper is discussed in separate commentaries by Norman Malcolm and Terence Penelhum. An interesting feature of this volume is that some comments from the floor are recorded and included along with the regular commentaries. Ernest Sosa and Bernard Williams comment on Kenny's paper along with Malcolm and Penelhum. Kenny responds to all four commentators. The other two symposia follow a similar format. The second, "On Events and Event-descriptions," features a paper by R. M. Martin which focuses on the logic of event descriptions and their role in scientific explanation. Events for Martin are extensional entities, unlike facts, but like facts they are "fictitious in the sense of being handled on virtually." His views are discussed by Donald Davidson, R. J. Butler and Wesley Salmon. In the third symposium on "Existence Assumptions in Practical Thinking," Stephan Körner elaborates on his view of effective choice, relating his account to those of Hume, Kant, and Peirce on the specific topic of the relationship of choice and natural necessity. The commentaries of J. J. Thomson and Bernard Williams are helpful here in getting Körner to clarify his interesting views. In sum, this first colloquium at the University of Western Ontario features genuine philosophical communication on some important issues.--R. H. K. (shrink)

Many of the papers in this volume originated in a colloquium at the University of Western Ontario in 1967. These include a paper on the logic of norms by G. H. Von Wright, a paper on the logic of questions by L. Åqvist, a paper on the logic of belief by W. Sellars, and a paper on inductive logic by R. Ackermann. The commentaries by Anderson and Sosa have been revised for the volume and a further commentary to Ackermann's paper (...) by Wesley Salmon has been added. In addition to the colloquium papers a number of further papers are published here for the first time: J. Hintikka on the semantics of propositional attitudes, R. Hilpinen on relativized modalities, C. Harrison on the unanticipated examiner and H. Smokler and M. Rohr on confirmation and translation. The volume is completed by two papers published in Synthese and a well-known paper in modal logic by Lemmon, Meredith, Meredith, Prior, and Thomas published complete with a new postscript by Prior. Although the collection is somewhat haphazard and seems to have no unifying theme, philosophers interested in these topics in philosophical logic will be thankful for the availability of the papers, both old and new.--R. H. K. (shrink)

Resumo Em 1747, John Wesley, spiritus rector do movimento metodista, publicou a primeira edição do seu guia medicinal Primitive Physic[k] . Qual era o seu propósito num mundo onde a academia real, herbalistas, curandeiros/as, exorcistas e charlatães competiam pela atenção da população? O artigo apresenta os diferentes grupos que atuaram, ou pretendiam atuar, em prol da saúde na Inglaterra do século 18, e compara o conteúdo do guia Primitive Physic[k] com suas propostas e estratégias terapêuticas. Conclua-se que uma parte (...) significativa do guia é composta por orientações da academia real de medicina, mas que sempre se favorecem remédios caseiros, com ingredientes acessíveis para as classes mais humildes. Quanto à chamada Spiritual Physick , menciona-se a oração como medida complementar, mas ignora-se plenamente a prática do exorcismo. Palavras-chave: John Wesley; saúde; Guia medicinal popular; Primitive Physic[k]; academia real de medicina; herbalismo; curandeirismo.In 1747, John Wesley, spiritus rector of the Methodist movement, published the first edition of his medical guide Primitive Physic[k] . What was its purpose in a world where the Royal Academy, herbalists, healers, exorcists and quacks competed for the attention of the population? The article introduces the different groups who promoted or pretended to promote health in 18th century England and compares the contents of the guide Primitive Physic[k] with their proposals and therapeutic strategies. The conclusion is that a significant portion of the guide consists of guidelines of the Royal Academy of Medicine, but that it always favors homemade remedies with ingredients available to humbler classes. In relation to the so called Spiritual Physick, prayer is mentioned as a complementary measure, but the practice of exorcism is totally ignored. Keywords: John Wesley; health; Popular Medicinal Guide; Primitive Physic[k]; Royal Academy of Medicine; herbalism; healers. (shrink)

In Perception: First Form of Mind, Tyler Burge develops an understanding of the most primitive type of representational mind: perception. Focusing on its form, function, and underlying capacities, as indicated in the sciences of perception, Burge provides an account of the representational content and formal representational structure of perceptual states, and develops a formal semantics for them. The account is elaborated by an explanation of how the representational form is embedded in an iconic format. These structures are then (...) situated in current theoretical accounts of the processing of perceptual representations, with an emphasis on the formation of perceptual categorizations. An exploration of the relationship between perception and other primitive capacities-conation, attention, memory, anticipation, affect, learning, and imagining-clarifies the distinction between perceiving, with its associated capacities, and thinking, with its associated capacities. Drawing on a broad range of historical and contemporary research, rather than relying on introspection or ordinary talk about perception, Perception: First Form of Mind is a scientifically rigorous and agenda-setting work in the philosophy of perception and the philosophy of science. (shrink)

I shall propose five theses on de re states and attitudes. To be a de re state or attitude is to bear a peculiarly direct epistemic and representational relation to a particular referent in perception or thought. I will not dress this bare statement here. The fifth thesis tries to be less coarse. The first four explicate and restrict context- bound, singular, empirical representation, which constitutes a significant and central type of de re state or attitude.

Tyler Burge presents an original study of the most primitive ways in which individuals represent the physical world. By reflecting on the science of perception and related psychological and biological sciences, he gives an account of constitutive conditions for perceiving the physical world, and thus aims to locate origins of representational mind.

Bibliography of works in experimental philosophy.

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the truth for (...) present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes a (...) robust argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

It is widely accepted in epistemology that knowledge is factive, meaning that only truths can be known. We argue that this theory creates a skeptical challenge: because many of our beliefs are only approximately true, and therefore false, they do not count as knowledge. We consider several responses to this challenge and propose a new one. We propose easing the truth requirement on knowledge to allow approximately true, practically adequate representations to count as knowledge. In addition to addressing the skeptical (...) challenge, this view also coheres with several previous theoretical proposals in epistemology. (shrink)

Nearly all philosophers agree that only true things can be known. But does this principle reflect actual patterns of ordinary usage? Several examples in ordinary language seem to show that ‘know’ is literally used non-factively. By contrast, this paper reports five experiments utilizing explicit paraphrasing tasks, which suggest that non-factive uses are actually not literal. Instead, they are better explained by a phenomenon known as protagonist projection. It is argued that armchair philosophical orthodoxy regarding the truth requirement for knowledge withstands (...) current empirical scrutiny. (shrink)

In recent years, there has been much concern expressed about the under-representation of women in academic philosophy. Our goal in this paper is to call attention to a cluster of phenomena that may be contributing to this gender gap. The findings we review indicate that when women and men with little or no philosophical training are presented with standard philosophical thought experiments, in many cases their intuitions about these cases are significantly different. In section 1 we review some of the (...) data on the under-representation of women in academic philosophy. In section 2 we explain how we use the term 'intuition,' and offer a brief account of how intuitions are invoked in philosophical argument and philosophical theory building. In the third section we set out the evidence for gender differences in philosophical intuition and mention some evidence about gender differences in decisions and behaviors that are (or should be) of considerable interest to philosophers. In the fourth section, our focus changes from facts to hypotheses. In that section we explain how differences in philosophical intuition might be an important part of the explanation for the gender gap in philosophy. The fifth section is a brief conclusion. (shrink)

Experimental philosophers have empirically challenged the connection between intuition and philosophical expertise. This paper reviews these challenges alongside other research findings in cognitive science on expert performance and argues for three claims. First, evidence taken to challenge philosophical expertise may also be explained by the well-researched failures and limitations of genuine expertise. Second, studying the failures and limitations of experts across many fields provides a promising research program upon which to base a new model of philosophical expertise. Third, a model (...) of philosophical expertise based on the limitations of genuine experts may suggest a series of constraints on the reliability of professional philosophical intuition. Even when the experts all agree, they may well be mistaken. — Bertrand Russell, On the Value of Scepticism. (shrink)

It is often thought that judgments about what we ought to do are limited by judgments about what we can do, or that “ought implies can.” We conducted eight experiments to test the link between a range of moral requirements and abilities in ordinary moral evaluations. Moral obligations were repeatedly attributed in tandem with inability, regardless of the type (Experiments 1–3), temporal duration (Experiment 5), or scope (Experiment 6) of inability. This pattern was consistently observed using a variety of moral (...) vocabulary to probe moral judgments and was insensitive to different levels of seriousness for the consequences of inaction (Experiment 4). Judgments about moral obligation were no different for individuals who can or cannot perform physical actions, and these judgments differed from evaluations of a non-moral obligation (Experiment 7). Together these results demonstrate that commonsense morality rejects the “ought implies can” principle for moral requirements, and that judgments about moral obligation are made independently of considerations about ability. By contrast, judgments of blame were highly sensitive to considerations about ability (Experiment 8), which suggests that commonsense morality might accept a “blame implies can” principle. (shrink)

This chapter addresses the issue of the underrepresentation of women in philosophy by presenting an account regarding gender differences in philosophical institutions. It begins with an analysis of data on the gender gap in academic philosophy; followed by a discussion about the term “intuition,”as well as the tendency to appeal to intuitions during philosophical arguments. It then presents empirical data about gender differences derived from a series of experiments such as a Gettier-style case study of Christina Starmans and Ori Friedman, (...) a philosophical thought experiment of Geoffrey Holtzman, and one of David Pizarro about moral responsibility and causal deviance, among others; one hypothesis derived from these studies pertains to the distinct differences between women and mens' intuitions regarding philosophy, with the instructors deciding that the mens' are more correct. (shrink)